This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic (...) is complete and consistent with respect to the dialogic semantics. Since the dialoggame does not involve the 'excluded middle' the calculus represents a calculus of effective (intuitionistic) quantum logic. In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the 'excluded middle' the latter calculus is a model for the lattice of subspaces of a Hilbert space. (shrink)

The principle of excluded middle is the logical interpretation of the law V ≤ A v ヿA in an orthocomplemented lattice and, hence, in the lattice of the subspaces of a Hilbert space which correspond to quantum mechanical propositions. We use the dialogic approach to logic in order to show that, in addition to the already established laws of effective quantum logic, the principle of excluded middle can also be founded. The dialogic approach is based on the very conditions under (...) which propositions can be confirmed by measurements. From the fact that the principle of. excluded middle can be confirmed for elementary propositions which are proved by quantum mechanical measurements, we conclude that this principle is inherited by all finite compound propositions. For this proof it is essential that, in the dialog-game about a connective, a finite confirmation strategy for the mutual commensurability of the subpropositions is used. (shrink)

In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the 'value-definiteness' of propositions is not postulated, the calculus $T_{eff}$ represents a calculus of effective (intuitionistic) quantum logic. Beginning with the tableaux-calculus the equivalence of $T_{eff}$ to calculi which use more familiar figures such as sequents and implications can be investigated. In this paper we (...) present a sequents-calculus of Gentzen-type and a propositional calculus of Brouwer-type which are shown to be equivalent to $T_{eff}$ . The effective propositional calculus provides an interpretation for a lattice structure, called quasi-implicative lattice. If, in addition, the value-definiteness of quantum mechanical propositions is postulated, a propositional calculus is obtained which provides an interpretation for a quasi-modular orthocomplemented lattice which, as is well-known, has as a model the lattice of subspaces of a Hilbert space. (shrink)

This contribution is concerned with a particular model theoretic semantics of the object language of quantum physics. The object language considered here comprises logically connected propositions, sequentially connected propositions and modal propositions. The model theoretic semantics arises from the already established dialogic semantics, if the pragmatic concept of the dialog-game is replaced by a "metaphysical" concept of the game. The game is determined by a game tree, the branches of which constitute a set, the set of "possible worlds" of an (...) individual quantum physical system. The semantic concepts like truth, falsity and valuation are defined with respect to this set. (shrink)